аксиоматическое определение

аксиоматическое определение
axiomatic specification

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • аксиоматическое определение — определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможных истолкований. Напр., можно попытаться дать прямое определение понятия равенство . Но можно привести систему… …   Словарь терминов логики

  • Определение (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

  • определение неявное — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение контекстуальное, определение остенсивное, определение аксиоматическое и др. О. н. противопоставляется определению явному, приравнивающему, или отождествляющему,… …   Словарь терминов логики

  • определение аксиоматическое — неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой то теории является одновременно и… …   Словарь терминов логики

  • определение — (лат. definitio) логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. О. понятия термин говорит, что это… …   Словарь терминов логики

  • Матроид — Матроид  классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое… …   Википедия

  • Графический матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… …   Википедия

  • Ранг матроида — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… …   Википедия

  • Универсальный матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… …   Википедия

  • Арифметика — (греч. arithmetika, от arithmys число)         наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними.          Владение достаточно развитым понятием натурального числа и умение… …   Большая советская энциклопедия

  • ПЕАНО — (Peano), Джузеппе (27 авг. 1858 – 20 апр. 1932) – итал. математик и логик. Проф. математики в Туринском ун те (1890–1932). Известен важными результатами в матем. анализе, теории дифференц. уравнений (где ему принадлежит классич. формулировка осн …   Философская энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”